Common knowledge

Results: 3152



#Item
81Game theory / Artificial intelligence / Formal epistemology / Modal logic / Logic in computer science / Common knowledge / Epistemic modal logic / Intelligent agent / Alternating-time Temporal Logic / Temporal logic / Social software / Mechanism design

Logic for Automated Mechanism Design — A Progress Report Michael Wooldridge∗ Thomas Agotnes† ∗

Add to Reading List

Source URL: folk.uib.no

Language: English - Date: 2007-07-21 09:47:36
82Formal epistemology / Modal logic / Artificial intelligence / Non-classical logic / Philosophical logic / Dynamic epistemic logic / Symbol / Epistemic modal logic / Common knowledge / Tiny Encryption Algorithm / Kripke semantics / Interpretation

Coalitions and Announcements ◦ Thomas Agotnes Hans van Ditmarsch

Add to Reading List

Source URL: folk.uib.no

Language: English - Date: 2008-02-06 12:58:25
83Semantic Web / Resource Description Framework / Information science / Knowledge engineering / Knowledge representation / Web Ontology Language / Semantic reasoner / Prolog / Description logic / Ontology / Jena / SPARQL

POSH - The Prolog OWL Shell Chris Mungall Abstract. Two of the most common ways of processing and manipulating OWL ontologies are through an ontology editing environment (e.g. Protege or TopBraid) or via a programmatic i

Add to Reading List

Source URL: webont.org

Language: English - Date: 2013-11-14 03:46:33
84Semantic Web / Information science / Knowledge representation / Knowledge engineering / Resource Description Framework / Web Ontology Language / Ontology / XML schema / RDF Schema / Upper ontology / GOLD / Markup language

The semantics of markup: Mapping legacy markup schemas to a common semantics Gary F. Simons, SIL International William D. Lewis, CSU Fresno

Add to Reading List

Source URL: faculty.washington.edu

Language: English - Date: 2006-05-22 21:49:05
85Computing / Semantic Web / Resource Description Framework / World Wide Web Consortium / Information science / Knowledge representation / Knowledge engineering / School of Computer Science /  University of Manchester / Redland RDF Application Framework / Web Ontology Language / DARPA Agent Markup Language / RDF Schema

Enabling Semantic Web Programming by Integrating RDF and Common Lisp Ora Lassila Nokia Research Center, 5 Wayside Road, Burlington, Massachusetts, USA Abstract: This paper introduces “Wilbur”, an RDF and DAML toolki

Add to Reading List

Source URL: files.ifi.uzh.ch

Language: English - Date: 2003-09-01 10:46:27
86Game theory / Determinacy / Common knowledge / Natural deduction

Infinite games with finite knowledge gaps Dietmar Berwangera , Anup Basil Mathewa,b a LSV, CNRS & ENS Cachan, Universit´ e Paris-Saclay, France

Add to Reading List

Source URL: lsv.fr

Language: English - Date: 2015-07-29 03:13:25
87Education / School counselor / Common Core State Standards Initiative / ACT / Knowledge sharing

WSAC_Infographic_11x17_PRINT.indd

Add to Reading List

Source URL: www.k12.wa.us

Language: English - Date: 2016-03-01 17:01:38
88Cyberwarfare / Computing / Computer security / Software maintenance / Software release / Patch / Computer network security / Vulnerability / Common Vulnerabilities and Exposures / Transdermal patch / Computer worm / Shavlik Technologies

Timing the Application of Security Patches for Optimal Uptime Steve Beattie, Seth Arnold, Crispin Cowan, Perry Wagle, and Chris Wright † – WireX Communications, Inc. Adam Shostack – Zero Knowledge Systems, Inc. ABS

Add to Reading List

Source URL: adam.shostack.org

Language: English - Date: 2014-06-11 11:42:33
89Computing / Security / Cyberwarfare / Computer security / Computer network security / Cybercrime / National security / Knowledge representation / Situation awareness / Cyberspace / Threat / Common Information Model

SITUATIONAL AWARENESS Gaining an Edge in Cyberspace with Advanced Situational Awareness Vincent Lenders | armasuisse Axel Tanner | IBM Research

Add to Reading List

Source URL: www.lenders.ch

Language: English - Date: 2015-04-23 06:59:54
UPDATE